1. Applications of process algebra
Author: edited by J.C.M. Baeten
Library: Central Library and Documentation Center (Semnan)
Subject: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
Classification :
QA
267
.
A67
2004
2. Applications of process algebra
Author: / J.C.M. Baeten
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
Classification :
QA
267
.
A67
2004
3. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
4. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
5. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
6. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
7. Complexity of computation
Author: edited by Richard M. Karp
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
Classification :
QA
267
.
C57
8. Computation engineering
Author: / Ganesh Gopalakrishnan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Computer logic.,Machine theory.
9. Computation engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
10. Discrete mathematics
Author: James L. Hein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.
Classification :
QA76
.
9
.
M35
J364
1996
11. Discrete structures and automata theory
Author: Dube, Rakesh
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory
Classification :
QA
76
.
9
.
M35D82
12. Finite automata, formal logic, and circuit complexity
Author: Straubing, Howard, 2591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
Classification :
QA
76
.
9
.
M35S77
13. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
14. Fundamentals of computation theory
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
Classification :
QA
267
.
I57
1985
15. Handbook of Graphical Models
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: BUSINESS & ECONOMICS / Statistics.,Computer Science.,COMPUTERS / Machine Theory.,MATHEMATICS / Probability & Statistics / General.
16. Introduction to deep learning :
Author: Sandro Skansi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Machine learning.,Neural networks (Computer science),Coding theory & cryptology.,Coding theory.,Computer science.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Data mining.,Data mining.,Image processing.,Image processing.,Mathematical modelling.,Mathematics-- Applied.,Neural networks (Computer science),Pattern perception.,Pattern recognition.
Classification :
QA76
.
9
.
D343
17. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
18. Logic and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
19. Mathematical aspects of computer science
Author: J. T. Schwartz editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Machine theory,Addresses, essays, lectures ، Computer science -- Mathematics
Classification :
QA
1
.
P69
Vol
.
19
